This book cover software verification; model-driven development and model transformation; software evolution and requirements ...